381. Using formal description techniques : an introduction to Estelle, LOTOS, and SDL
پدیدآورنده : edited by Kenneth J. Turner
موضوع : Electronic digital computers - Programming,Formal languages
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
382. Using formal description techniques : an introduction to Estelle, LOTOS, and SDL
پدیدآورنده : edited by Kenneth J. Turner
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Electronic digital computers - Programming , Formal languages
رده :
QA
76
.
6
.
U848
1993
383. Using formal description techniques: an introduction to Estelle, LOTOS, and SDL
پدیدآورنده : edited by Kenneth J. Turner
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Computer programming,، Formal languages
رده :
QA
76
.
6
.
U848
1993
384. Word processing in groups
پدیدآورنده : Epstein, David B. A.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Sequential machine theory,، Group theory,، Formal languages
رده :
QA
267
.
5
.
S4E6
385. Words, Langages and Combinatorics: Proceedings of the international conference: Kyoto, Japan, 28-31 August 1990
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع : ، Semigroups- Congresses,، Formal languages- Congresses,، Automata- Congresses
رده :
QA
182
.
W67
1990
386. Words, Semigroups & Transductions :
پدیدآورنده : editors, Masami Ito, Gheorghe Păun, Sheng Yu.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Formal languages.,Group theory.,Machine theory.,Formal languages.,Group theory.,Machine theory.,MATHEMATICS-- Infinity.,MATHEMATICS-- Logic.
رده :
QA267
.
3
.
W67
2001eb
387. Words, languages, and combinatorics II: proceedings of the international conference : Kyoto, Japan, 25-28 August 1992
پدیدآورنده :
موضوع : ، Semigroups- Congresses,، Formal languages- Congresses,، Automata- Congresses
۴ نسخه از این کتاب در ۱ کتابخانه موجود است.
388. Words, languages, and combinatorics III
پدیدآورنده : editors, Masami Ito, Teruo Imaoka.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Formal languages, Congresses.,Machine theory, Congresses.,Semigroups, Congresses.
389. 5th Conference on Automated Deduction Les Arcs, France, July 8-11, 1980
پدیدآورنده : edited by Wolfgang Bibel, Robert Kowalski.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer Science,Computer science.,Mathematical Logic and Formal Languages
390. تشریح جامع مسائل نظریه زبان ها و ماشین ها بر اساس کتاب پیتر لینز - ویراست پنجم
پدیدآورنده : مولفان لیلا صالحی? سعید ربیعی? ابراهیم علایی.,صالحی? لیلا
کتابخانه: كتابخانه مركزی و مركز اسناد شهيد مطهری دانشگاه رازى (کرمانشاه)
موضوع : زبان های صوری Formal languages زبان های صوری -- آزمون ها و تمرین ها )عالی( Formal languages -- Examinations, questions, etc. )Higher( نظریه ماشین Machine theory نظریه ماشین -- آزمون ها و تمرین ها )عالی( Machine theory -- Examinations, questions, etc. )Higher(
رده :
QA
267/3
/
ل
9
م
726
391. تشریح جامع مسائل نظریه زبان‌ها و ماشین‌ها بر اساس کتاب پیترلینز
پدیدآورنده : / مولفان: لیلا صالحی، سعید ربیعی، ابراهیم علایی
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : زبان‌های صوری,Formal languages,زبان‌های صوری -- آزمون‌ها و تمرین‌ها (عالی),(Examinations, questions, etc. (Higher -- Formal languages,نظریه ماشین,Machine theory,نظریه ماشین -- آزمون‌ها و تمرین‌ها (عالی),(Examinations, questions, etc. (Higher -- Machine theory
رده :
QA
۲۶۷
/
۳
/
ل
۹
م
۷۲۶ ۱۳۹۶
392. روشی برای تبدیل صوری سناریوها به نمودارهای مبتنی بر حالت :یک گام جدید به سوی خودکارصسازی تولید کد
پدیدآورنده : /رضا گومانی
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع : Seqence Diagram,State Daigram,formal Languages,Component's Behavior,Outomation and Formal Language
393. نظریه زبان ها و ماشین ها
پدیدآورنده : / نگارش محمد رستمی، الهه نشاط
کتابخانه: کتابخانه و مرکز اطلاع رسانی دانشگاه بین المللی امام رضا علیه السلام (خراسان رضوی)
موضوع : زبان‌های صوری,Formal languages,نظریه ماشین,Machine theory
رده :
QA
۲۶۷
/
۳
/
ر
۵
ن
۶ ۱۳۹۷
394. نظریه زبان ها و ماشین ها
پدیدآورنده : مولف: فردین شاپوری,شاپوری? فردین
کتابخانه: كتابخانه مركزی و مركز اسناد شهيد مطهری دانشگاه رازى (کرمانشاه)
موضوع : نظریه ماشین Machine theory زبان های صوری Formal languages
رده :
QA
267
/
ش
2
ن
6
395. نظریه زبان‌ها و ماشین‌ها
پدیدآورنده : / مولف فردین شاپوری
کتابخانه: کتابخانه و مرکز اطلاع رسانی دانشگاه بین المللی امام رضا علیه السلام (خراسان رضوی)
موضوع : نظریه ماشین,Machine theory,زبان‌های صوری,Formal languages
رده :
QA
۲۶۷
/
۳
/
ش
۲
ن
۶ ۱۳۹۶
396. نظریه زبان‌ها و ماشین‌ها
پدیدآورنده : / مولف مجتبی پورمحقق,پشت جلد به انگلیسی: M. Pourmohaghegh. Theory of formal languages & automota.,پورمحقق
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : زبان‌های صوری,Formal languages,زبان‌های صوری,Formal languages,نظریه ماشین,Machine theory,نظریه ماشین,Machine theory,دانشگاه‌ها و مدارس عالی,Universities and colleges,آزمون دوره‌های تحصیلات تکمیلی,Graduate Record Examination , -- آزمون‌ها و تمرین‌ها (عالی), -- Examinations, questions, etc. (Higher), -- آزمون‌ها و تمرین‌ها (عالی), -- Examinations, questions, etc. (Higher), -- راهنمای آموزشی (عالی), -- Study and teaching (Higher), -- راهنمای آموزشی (عالی), -- Study and teaching (Higher), -- آزمون‌ها, -- Examinations, -- ایران, --Iran, -- ایران, -- Iran
رده :
LB
۲۳۵۳
/
پ
۹۴۱
ن
۶ ۱۳۹۹
